char main []  __attribute__((section(".mysection")))=
{
	0x57, 0x56, 0x52, 0x48, 0xb8, 0x36, 0x35, 0x34, 
	0x33, 0x32, 0x31, 0x30, 0x0a, 0x50, 0x48, 0xc7, 
	0xc0, 0x01, 0x00, 0x00, 0x00, 0x48, 0xc7, 0xc7, 
	0x01, 0x00, 0x00, 0x00, 0x48, 0x89, 0xe6, 0x48, 
	0xc7, 0xc2, 0x08, 0x00, 0x00, 0x00, 0x0f, 0x05, 
	0x48, 0x83, 0xc4, 0x08, 0x5a, 0x5e, 0x5f, 0xc3

};
